🇫🇮 fi en 🇬🇧

tyhjentävä todistus

proof by exhaustion